1. Principles of program analysis

by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
2. Two-level functional languages

by Nielson, Flemming | Nielson, Hanne Riis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.13 NIE] (1).
3. Semantics with applications : an appetizer

by Nielson, Flemming | Nielson, Hanne Riis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.131 NIE] (1).

Powered by Koha